void init_state();
